1721. Using and Understanding Java Data Objects
پدیدآورنده : by David Ezzio.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
1722. VDM'91 Formal Software Development Methods :
پدیدآورنده : edited by S. Prehn, W.J. Toetenel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
1723. VE2d for Lua Game ProgrammingL
پدیدآورنده : / Mishra, Brij Bhushan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1724. Variations on constants
پدیدآورنده : / Markus M?�ller-Olm
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Parallel programming (Computer science),Sequential processing (Computer science),Mathematical constants.,Variables (Mathematics),Computer programs--Correctness
رده :
QA
,
76
.
642
,.
M85
,
2006
1725. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده : edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
1726. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1727. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
1728. Verified software
پدیدآورنده : \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامه‌نویسی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
V4
2016
E-Book
,
1729. Verified software
پدیدآورنده : / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd
رده :
QA
,
76
.
76
,.
V47
,
V59
,
2010
1730. Verified software: theories, tools, experiments
پدیدآورنده : Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
V73
2012eb
1731. Virtual Environments and Scientific Visualization '96 :
پدیدآورنده : edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1996
1732. Visual Basic Game Programming for Teens (3rd Edition)
پدیدآورنده : / Harbour, Jonathan S.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1733. Visual Basic .NET Class Design Handbook: Coding Effective Classes
پدیدآورنده : by Damon Allison, Andy Olsen, James Speer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
1734. Visual Basic for Testers
پدیدآورنده : by Mary Romero Sweeney.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
1735. Web Information Systems Engineering \U+2013\ WISE 2013
پدیدآورنده : edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers.,Data mining.,Software engineering.
1736. Web Programming with PHP and MySQL
پدیدآورنده : / Max Bramer
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1737. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
1738. Web information systems engineering -- WISE 2018 :
پدیدآورنده : Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
1739. Web services -- ICWS 2019 :
پدیدآورنده : John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Web databases, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Web databases.,Web services.,World Wide Web.
رده :
TK5105
.
88813
1740. Web services and formal methods :
پدیدآورنده : Mario Bravetti, Tevfik Bultan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Web services, Congresses.
رده :
TK5105
.
88813
.
W74
2011
